Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik